CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Fifty years of Hoare's Logic

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    We present a history of Hoare's logic.Comment: 79 pages. To appear in Formal Aspects of Computin
    arXiv.org e-Print Archive
    CWI's Institutional Repository

    Refining System Requirements to Program Specifications

    Author
    Publication venue
    'Royal College of Obstetricians & Gynaecologists (RCOG)'
    Publication date
    Field of study
    No full text
    Online Research Database In Technology

    A ProCoS II Project Final Report: ESPRIT Basic Research project 707

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Online Research Database In Technology
    corecore